The patch removes broken, and very complicated malloc in
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 26 Aug 2005 10:35:36 +0000 (10:35 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 26 Aug 2005 10:35:36 +0000 (10:35 +0000)
commit393415f09c80d9846cba6b7462d152bc0f032ede
tree3ae768c32dc6ff5d55be75a5263fad1a64a06f6c
parent4fb2acfb09468669ebbeaa6570d42403bb8ffc4f
The patch removes broken, and very complicated malloc in
favour of much simpler (and working) Xen's allocator
(xmalloc by Rusty).

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/include/lib.h
extras/mini-os/include/mm.h
extras/mini-os/include/types.h
extras/mini-os/include/xmalloc.h [new file with mode: 0644]
extras/mini-os/lib/malloc.c [deleted file]
extras/mini-os/lib/xmalloc.c [new file with mode: 0644]
extras/mini-os/mm.c